翻訳と辞書 Words near each other ・ Strickler Site ・ Strickler, Arkansas ・ Strickley-Louderback House ・ Strickly Business Reloaded ・ Strickly for da Breakdancers & Emceez ・ Strickscheid ・ Strict ・ Strict (disambiguation) ・ Strict and Particular Baptist Chapel, Waddesdon ・ Strict conditional ・ Strict constructionism ・ Strict determinism ・ Strict differentiability ・ Strict father model ・ Strict foreclosure ・ Strict function ・ Strict initial object ・ Strict Joy ・ Strict liability ・ Strict liability (criminal) ・ Strict logic ・ Strict Machine ・ Strict nature reserve ・ Strict nature reserves of Finland ・ Strict programming language ・ Strict scrutiny ・ Strict snake eel ・ Strict Tempo! ・ Strict-feedback form ・ Strictamine Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Strict function ： ウィキペディア英語版 Strict function A strict function in the denotational semantics of programming languages is a function ''f'' where $f\backslash left(\backslash perp\backslash right)\; =\; \backslash perp$. The entity $\backslash perp$, called ''bottom'', denotes an expression which does not return a normal value, either because it loops endlessly or because it aborts due to an error such as division by zero. A function which is not strict is called non-strict. A strict programming language is one in which user-defined functions are always strict. Intuitively, non-strict functions correspond to control structures. Operationally, a strict function is one which always evaluates its argument; a non-strict function is one which may not evaluate some of its arguments. Functions having more than one parameter may be strict or non-strict in each parameter independently, as well as ''jointly strict'' in several parameters simultaneously. As an example, the if-then-else expression of many programming languages may be thought of as a function of three parameters. This function is strict in its first parameter, since the function must know whether its first argument evaluates to true or to false before it can return; but it is non-strict in its second parameter, because (for example) if(false,$\backslash perp$,1) = 1, as well as non-strict in its third parameter, because (for example) if(true,2,$\backslash perp$) = 2. However, it is jointly strict in its second and third parameters, since if(true,$\backslash perp$,$\backslash perp$) = $\backslash perp$ and if(false,$\backslash perp$,$\backslash perp$) = $\backslash perp$. In a non-strict functional programming language, strictness analysis refers to any algorithm used to prove the strictness of a function with respect to one or more of its arguments. Such functions can be compiled to use a more efficient calling convention without changing the meaning of the enclosing program. == See also == * Eager evaluation * Lazy evaluation 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Strict function」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.